digraph graph_42_05
{
	node_42_05_1
	[
		fixedsize
		width = 2
	]
}
